Die Abkürzung STCON steht für engl. s-t-Connectivity, GAP für engl. Graph Accessibility Problem und REACH für engl. Reachability. Das analoge Problem für ungerichtete Graphen heißt USTCON. Das Erreichbarkeitsproblem ist ein NL-vollständiges Problem. Es lässt sich beispielsweise mit Hilfe der Breitensuche oder der Tiefensuche lösen. == Aus...